Search for: All records

Creators/Authors contains: "Sanfelice, Ricardo G."

« Prev Next »

Total Resources

47

Resource Type
Conference Paper

29

Conference Proceeding

0

Dataset

0

Journal Article

18

Workshop Report

0

Availability
Full Text / Resource Available

42

Citation Only

5

Save Results
Excel (limit 2000)
CSV (limit 5000)
XML (limit 5000)

Have feedback or suggestions for a way to improve these results?
!

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

Certifying the LTL Formula p Until q in Hybrid Systems

https://doi.org/10.1109/TAC.2022.3207417

Han, Hyejin ; Maghenem, Mohamed ; Sanfelice, Ricardo G. ( September 2023 , IEEE Transactions on Automatic Control)

Free, publicly-accessible full text available September 1, 2024
Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis

https://doi.org/10.1016/j.automatica.2023.110913

Altın, Berk ; Sanfelice, Ricardo G. ( June 2023 , Automatica)

Free, publicly-accessible full text available June 1, 2024
Robust Output Feedback Control Design in the Presence of Sporadic Measurements

https://doi.org/10.1109/TAC.2022.3213616

Merco, Roberto ; Ferrante, Francesco ; Sanfelice, Ricardo G. ; Pisu, Pierluigi ( June 2023 , IEEE Transactions on Automatic Control)

Free, publicly-accessible full text available June 1, 2024
Provable Adversarial Safety in Cyber-Physical Systems

https://doi.org/10.1109/EuroSP57164.2023.00062

Castellanos, John H. ; Maghenem, Mohamed ; Cárdenas, Alvaro A. ; Sanfelice, Ricardo G. ; Zhou, Jianying ( July 2023 , IEEE)

Most proposals for securing control systems are heuristic in nature, and while they increase the protection of their target, the security guarantees they provide are unclear. This paper proposes a new way of modeling the security guarantees of a Cyber-Physical System (CPS) against arbitrary false command attacks. As our main case study, we use the most popular testbed for control systems security. We first propose a detailed formal model of this testbed and then show how the original configuration is vulnerable to a single-actuator attack. We then propose modifications to the control system and prove that our modified system is secure against arbitrary, single-actuator attacks.
more » « less
Free, publicly-accessible full text available July 1, 2024
Online Attack Recovery in Cyberphysical Systems

https://doi.org/10.1109/MSEC.2023.3268573

Burbano, Luis ; Garg, Kunal ; Leudo, Santiago J. ; Cardenas, Alvaro A. ; Sanfelice, Ricardo G. ( July 2023 , IEEE Security & Privacy)

Free, publicly-accessible full text available July 1, 2024
Explaining the ‘`mystery’' of periodicity in inter-transmission times in two-dimensional event-triggered controlled system

https://doi.org/10.1109/TAC.2022.3147009

Postoyan, Romain ; Sanfelice, Ricardo G. ; Heemels, W.P.M.H. ( February 2023 , IEEE Transactions on Automatic Control)

Full Text Available
Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems

https://doi.org/10.1109/LCSYS.2023.3287244

Han, Hyejin ; Sanfelice, Ricardo G. ( January 2023 , IEEE Control Systems Letters)

Full Text Available
Global Accelerated Nonconvex Geometric Optimization Methods on SO(3)

https://doi.org/10.23919/ACC55779.2023.10155919

Akhtar, Adeel ; Sanfelice, Ricardo G. ( January 2023 , 2023 American Control Conference)

Full Text Available
A Discretization of the Hybrid Gradient Algorithm for Linear Regression with Sampled Hybrid Signals

https://doi.org/10.23919/ACC55779.2023.10155974

Wu, Nathan ; Johnson, Ryan S. ; Sanfelice, Ricardo G. ( January 2023 , 2023 American Control Conference)

Full Text Available
Optimal Safety for Constrained Differential Inclusions Using Nonsmooth Control Barrier Functions

https://doi.org/10.1109/LCSYS.2022.3232219

Ghanbarpour, Masoumeh ; Isaly, Axton ; Sanfelice, Ricardo G. ; Dixon, Warren E. ( January 2023 , IEEE Control Systems Letters)

Full Text Available

« Prev Next »